Mathematics and Philosophy
Mathematics and Philosophy
logic
at loggerheads
mathematics
fundamentalism with a naive faith in
Define the word
I'm not going to question the veracity of the definition.
philosophy
Problems with foundationalism and old news
Aim to create a system with [integrity
The definition of a certain symbol X is no different from the mere use of X because it merely states the relationship between X and other words
The meaning of a word is the use of the word
If the same symbol is used in two places, we assume it refers to the same thing.
How the symbol X is used in its everyday use is of little importance
There is a weak assumption that it may be used in a similar way, and if there are no other clues, it is used to interpret the meaning, but if there is a contradiction, this one is discarded because the relationship in the text is stronger.
---
This page is auto-translated from /nishio/数学と哲学 using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.